discrete mathematics relation